扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

基于可编程控制器的转速测量及步进电机升降速控制研究

为了实现动设备转速的实时监测,本文通过可编程控制器(PLC)的时基中断和计数器中断功能分别实现了基于数字式频率法和频率/周期法的转速测量。通过高速脉冲输出功能研究设计出了幂函数型、直线型以及指数型升降速曲线,对步进电机进行平稳可靠的控制。以活塞式压缩机满负荷的情况为例,通过具体程序设计和实验,采用频率/周期法成功实现了对压缩机曲轴转速的实时监测;并运用直线型控制曲线,实现了步进电机平稳的升速控制。     

Modbus通讯技术在注汽站控制系统中的应用

为了保证注蒸汽热采油田多台注蒸汽锅炉正常工作,实现智能供电、水质处理、锅炉产汽、汽水分离的集中管理与控制。通过采用Modbus通讯技术对集中控制系统硬件配置、连接及软件的搭建。结果表明：现场注汽站的锅炉控制系统、汽水分离控制系统、水处理控制系统以及智能供电系统等子系统得到综合集成,应用效果良好。     

正则剩余格的fuzzy⊙-理想格

在正则剩余格的全体fuzzy⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy⊙-理想之集构成一个分配的剩余格。     

基于渐进式最大后验估计的联合频谱感知算法

通过研究初级用户的统计传输模式提出了一种联合频谱感知算法：初级用户的统计传输模式采用舍有两状态量的马尔科夫模型;每个二级用户通过对马尔科夫链的监测进行能量检测,并且经舍噪信遭将检测结果转发给融合中心;然后,融合中心通过使用新的渐进式最大后验估计算法恢复二级用户的判决。在上述过程中,先验概率对于最大后验估计至关重要,它是通过渐进地估计马尔代夫链的传递概率得到的。另外,采用多数数据融合和或逻辑数据融合规则．推导出了虚警概率和漏检概率的解析表达式。理论分析和仿真结果表明,所提出的算法能够提供可靠和有效的频谱感知。     

人体反应速度测试器的实验研究

对人体反应速度测试器实验教学设计与实践进行了探讨。提出了用中规模集成电路移位寄存器4015,或非门电路4001,施密特反相器40106和反相器4069构成的电路驱动8只发光二极管动态显示来实现一个实验电路的方法。实验电路包括了脉冲电路和数字逻辑电路,并要求学生在万用版上安装和焊接元器件,完成电路调试。通过对实验电路的搭接与实验结果的分析,强化了学生对数字电路应用的理解和动手能力的培养。     

从藏语格标记看结构语言学的局限性

在藏语语法中格标记具有举足轻重的作用,诸如使动词成为羡余,使句子中名词性成分容量提升,造成句法成分的多重性等。在以格标记为核心的名词句中,结构语言学直接成分分析法的局限性明显凸现,而语言逻辑却占有一席之地。     

40-Gb/s all-optical digital 4-bit priority encoder employing cross-gain modulation in semiconductor optical amplifiers

High-speed all-optical logic circuits have attracted much attention because of their important roles in signal processing in next-generation optical networks.The digital encoder is widely used in binary calculation,multiplexing,demultiplexing,address recognition and data encryption.A priority encoder allows the existence of multiple valid inputs simultaneously,identifies the priority of the request signals and encodes the priority.We propose and experimentally demonstrate an all-optical 4-bit priority encoder for return-to-zero signals at 40 Gbit/s based on cross-gain modulation in semiconductor optical amplifiers.Detuning fil-ters after semiconductor optical amplifiers are employed to improve the output performance.Correct logic bit sequences and clear open eye patterns with extinction ratios exceeding 10 dB are achieved.     

Vizrt在电视新闻类节目中的技术研发的探索与实践——Vizrt二次开发具体案例分析

Vizrt系统是一个比较开放的平台，具备优秀的设计制作功能，同时具有较为强大的二次开发扩展空间。本人通过近两年的经验积累，总结了一些对Vizrt进行二次开发进而提高制作效率、智能化操作流程、提升交互特性、解决系统故障、优化播控流程、扩展软件功能等方面的基本方法。鉴于目前在行业内对Vizrt二次开发方面进行探讨的资料并不多见，本人把相关程序思路与应用效果展示给同行业内人士，希望可以抛砖引玉，与诸位同行交流进步。